|
In mathematics, a vector bundle is a topological construction that makes precise the idea of a family of vector spaces parameterized by another space ''X'' (for example ''X'' could be a topological space, a manifold, or an algebraic variety): to every point ''x'' of the space ''X'' we associate (or "attach") a vector space ''V''(''x'') in such a way that these vector spaces fit together to form another space of the same kind as ''X'' (e.g. a topological space, manifold, or algebraic variety), which is then called a vector bundle over ''X''. The simplest example is the case that the family of vector spaces is constant, i.e., there is a fixed vector space ''V'' such that ''V''(''x'') = ''V'' for all ''x'' in ''X'': in this case there is a copy of ''V'' for each ''x'' in ''X'' and these copies fit together to form the vector bundle ''X'' × ''V'' over ''X''. Such vector bundles are said to be ''trivial''. A more complicated (and prototypical) class of examples are the tangent bundles of smooth (or differentiable) manifolds: to every point of such a manifold we attach the tangent space to the manifold at that point. Tangent bundles are not, in general, trivial bundles: for example, the tangent bundle of the sphere is non-trivial by the hairy ball theorem. In general, a manifold is said to be parallelizable if and only if its tangent bundle is trivial. Vector bundles are almost always required to be ''locally trivial'', however, which means they are examples of fiber bundles. Also, the vector spaces are usually required to be over the real or complex numbers, in which case the vector bundle is said to be a real or complex vector bundle (respectively). Complex vector bundles can be viewed as real vector bundles with additional structure. In the following, we focus on real vector bundles in the category of topological spaces. ==Definition and first consequences== A real vector bundle consists of: # topological spaces ''X'' (''base space'') and ''E'' (''total space'') # a continuous surjection π : ''E'' → ''X'' (''bundle projection'') # for every ''x'' in ''X'', the structure of a finite-dimensional real vector space on the fiber π−1() where the following compatibility condition is satisfied: for every point in ''X'', there is an open neighborhood ''U'', a natural number ''k'', and a homeomorphism : such that for all ''x'' ∈ ''U'', * for all vectors ''v'' in R''k'', and * the map is a linear isomorphism between the vector spaces R''k'' and π−1(). The open neighborhood ''U'' together with the homeomorphism φ is called a local trivialization of the vector bundle. The local trivialization shows that ''locally'' the map π "looks like" the projection of ''U'' × R''k'' on ''U''. Every fiber π−1() is a finite-dimensional real vector space and hence has a dimension ''k''''x''. The local trivializations show that the function ''x'' ''kx'' is locally constant, and is therefore constant on each connected component of ''X''. If ''kx'' is equal to a constant ''k'' on all of ''X'', then ''k'' is called the rank of the vector bundle, and ''E'' is said to be a vector bundle of rank ''k''. Often the definition of a vector bundle includes that the rank is well defined, so that ''kx'' is constant. Vector bundles of rank 1 are called line bundles, while those of rank 2 are less commonly called plane bundles. The Cartesian product ''X'' × R''k'' , equipped with the projection ''X'' × R''k'' → ''X'', is called the trivial bundle of rank ''k'' over ''X''. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Vector bundle」の詳細全文を読む スポンサード リンク
|